parallel formal conversion

并行形式转换